PR 审核总结

修改内容

本 PR 完善了 io_destroy 系统调用和 AIO 子系统的实现，包含两个逻辑部分：

1. AIO 子系统修复（aio.rs + task/ops.rs）

   • 将 AioRequest.resfd 类型从 Option<Arc<dyn FileLike>> 改为 Option<Arc<EventFd>>，并通过 downcast_arc 验证 IOCB_FLAG_RESFD 必须指向 eventfd（符合 Linux 语义）
   • 提取 destroy_context() 辅助函数，供 sys_io_destroy 和 cleanup_aio_contexts_for_pid 共用
   • 新增 cleanup_aio_contexts_for_pid()，在进程最后一个线程退出时自动清理所有 AIO 上下文，防止内核资源泄漏
   • 修复 sys_io_destroy 中对全局上下文表的 remove 操作，正确捕获返回的 Arc

2. 测试覆盖

   • test-io-destroy：新增子进程退出时不调用 io_destroy 的隐式清理回归测试
   • test-io-submit：新增 IOCB_FLAG_RESFD 搭配非 eventfd fd 时返回 EINVAL 的验证

3. MySQL 文档（README.md + README_CN.md）

   • 补充宿主机 root/sudo 权限要求说明

实现逻辑分析

• resfd 验证：Linux 内核要求 IOCB_FLAG_RESFD 仅接受 eventfd（eventfd_fops）。base 分支的旧实现接受任意 FileLike，不符合 Linux 行为。PR 使用 downcast_arc::<EventFd>() 做类型检查，正确匹配内核语义。
• 进程退出清理：Linux 在 exit_files() 中调用 io_destroy() 清理所有 AIO 上下文。PR 将 cleanup_aio_contexts_for_pid() 放在 do_exit() 的 exit_thread() 返回 true（最后一个线程）之后、close_all_fds() 之前，与 Linux 的清理顺序一致。这样 worker 任务在销毁过程中仍可引用已打开的 fd。
• destroy_context 提取：将上下文销毁逻辑（设置 destroying 标志、清空队列、等待 inflight 排空、unmap ring buffer）提取为独立函数，避免重复代码。
• sys_io_destroy 修复：旧代码 AIO_CONTEXTS.write().remove(&context.id) 忽略了 remove 返回值。新代码正确捕获移除的 Arc 并传入 destroy_context()。

验证结果

• cargo fmt --check：通过
• cargo xtask clippy --package starry-kernel：13 个 feature 组合全部通过（0 warnings）
• CI 状态：全部通过（SUCCESS）。成功的非跳过检查包括：Check formatting、Run sync-lint、Run clippy、Test with std、所有架构的 QEMU 测试（starry/aarch64/riscv64/x86_64/loongarch64、arceos、axvisor）和自托管板卡测试。跳过的检查为 run_container 互斥对应的 run_host 任务，属于预期行为。
• 无 crates.io patch 依赖

重复/重叠分析

• 搜索 io_destroy、aio、EventFd、resfd 关键词的 open PR：仅本 PR（#1165）命中
• PR #1160（Wayland app）和 PR #1076（self-compile）在搜索中出现但实际不重叠：前者是 Wayland app 支持，后者是自编译功能
• base 分支当前无 AIO 进程退出清理实现，本 PR 是唯一的补充

回归测试评估

• child_exit_without_io_destroy()：fork 子进程 → io_setup → pipe → io_submit(POLL) → 子进程 _exit(0)。验证隐式 AIO 清理后子进程正常退出（exit status 0）。这是对进程退出清理路径的有效回归测试。
• test-io-submit 新增用例：IOCB_FLAG_RESFD 搭配普通文件 fd（非 eventfd）→ 验证 io_submit 返回 EINVAL。覆盖 resfd 类型验证逻辑。

无阻塞问题

所有检查通过，实现符合 Linux 语义，测试覆盖了关键路径，CI 全绿。没有发现阻塞性问题。

Powered by mimo-v2.5-pro

审查总结

本 PR 修复了 追踪 issue #1157 中描述的三个问题，实现逻辑正确，测试覆盖充分，所有验证通过。

问题 1：AIO context 进程退出清理

实现逻辑：

• 将 sys_io_destroy 中的核心销毁流程抽取为 destroy_context() 内部函数，逻辑复用干净
• 新增 cleanup_aio_contexts_for_pid(pid)：获取写锁 → 按 owner 过滤并从全局表移除 → 释放锁 → 逐个调用 destroy_context()
• do_exit() 中 exit_thread() 返回 true（最后一个线程）时，在 close_all_fds() 和释放 address space 之前调用清理

正确性分析：

• 清理顺序正确：AIO context 持有进程 address space 的 Arc 引用，必须在释放 address space slot 之前销毁
• 锁设计合理：先在写锁内完成全局表移除，再释放锁后执行 wait_for_inflight_drain 等阻塞操作，避免死锁
• 与 sys_io_destroy 无竞争：若另一线程已通过 sys_io_destroy 移除同一 context，cleanup_aio_contexts_for_pid 的过滤不会匹配到它；反之亦然
• sys_io_destroy 改进：从 lookup_context + remove 改为 remove(&context.id).ok_or_else(invalid_context)，修复了旧代码在 remove 返回 None 时仍执行 destroy 的潜在双重销毁问题

问题 2：IOCB_FLAG_RESFD 校验

实现逻辑：

• resolve_resfd() 从 get_file_like + 接受任意 FileLike 改为 get_file_like + downcast_arc::<EventFd>()
• AioRequest.resfd 类型从 Option<Arc<dyn FileLike>> 收窄为 Option<Arc<EventFd>>
• notify_resfd() 参数从 &Arc<dyn FileLike> 收窄为 &EventFd
• 非 eventfd fd 返回 EINVAL，符合 Linux 行为

正确性分析：

• 类型系统层面保证 completion 路径只对合法 EventFd 写入 8 字节计数
• 避免普通可写文件被误写入 8 字节数据
• 避免不可写 fd 的通知错误被 completion 路径吞掉

问题 3：MySQL README 文档

文档变更正确描述了 rootfs 准备对 root/passwordless sudo 的权限要求，说明了循环缓存机制。纯文档改动，无行为变更。

测试覆盖

• test-io-destroy 新增 child_exit_without_io_destroy()：子进程 io_setup → 提交阻塞 IOCB_CMD_POLL → 不调用 io_destroy 直接 _exit(0)；父进程 waitpid 验证子进程正常退出。内核日志确认清理路径：cleared queue, inflight=1, pending=1 → all inflight drained
• test-io-submit 新增负向用例：IOCB_FLAG_RESFD + 普通文件 fd → 验证 io_submit 返回 EINVAL

两个测试都是针对具体 bug 的回归测试，覆盖了修复路径。

验证结果

重复/重叠分析

搜索了 open PR 和 issues，除本 PR 外无其他修复 AIO 清理或 resfd 校验的 PR，无重复。

结论

实现正确、测试充分、无阻塞问题，批准合并。